Sos 2006
نویسندگان
چکیده
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this talk, the current state of the art in the area of bialgebraic semantics is presented, and its prospects for the future are sketched. In particular, a combination of basic bialgebraic techniques with a categorical approach to modal logic is described, as an abstract approach to proving compositionality by decomposing modal logics over structural operational specifications.
منابع مشابه
The Meaning of Ordered SOS
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are negative premises, which are crucial in the definitions of such phenomena as priority mechanisms and time-outs. Orderings on SOS rules were proposed by Phillips and Ulidowski as an alternative to negative premises. The m...
متن کاملSynthesis of Existing Cost Models to Meet System of Systems Needs
Today’s need for more complex, more capable systems in a short timeframe is leading more organizations towards the integration of existing systems into network-centric, knowledge-based system-of-systems (SoS). Software and system cost model tools to date have focused on the software and system development activities of a single software system, but none to date adequately estimate the integrati...
متن کاملAn Integrated Systems Engineering Methodology for Analyzing Systems of Systems Architectures
In this exploratory work, an integrated systems engineering methodology for analyzing architectures of systems of systems (SoS) involves linking an SoS architecture development process to the DoDAF products, using the systems modeling language (SySML 1.0) to represent DoDAF products, and hence to model the SoS architecture, and linking the SysML diagrams with the SoS architecture development pr...
متن کاملReference data for bone speed of sound measurement by quantitative ultrasound in healthy children
Introduction The aim of the study was to establish reference data for tibia and radius bone ultrasonic speed of sound (SOS) measurement in our pediatric population, and to compare the results with original (built-in) reference data. We also investigated the relationship between SOS Z-scores and anthropometric parameters and bone markers. Method SOS was measured in 463 healthy children (1– 16 ye...
متن کاملbeta-lactam antibiotics induce the SOS response and horizontal transfer of virulence factors in Staphylococcus aureus.
Antibiotics that interfere with DNA replication and cell viability activate the SOS response. In Staphylococcus aureus, the antibiotic-induced SOS response promotes replication and high-frequency horizontal transfer of pathogenicity island-encoded virulence factors. Here we report that beta-lactams induce a bona fide SOS response in S. aureus, characterized by the activation of the RecA and Lex...
متن کاملA Note on Sparse SOS and SDP Realxations for Polynomial Optimization Problems over Symmetric Cones
This short note extends the sparse SOS (sum of squares) and SDP (semidefinite programming) relaxation proposed by Waki, Kim, Kojima and Muramatsu for normal POPs (polynomial optimization problems) to POPs over symmetric cones, and establishes its theoretical convergence based on the recent convergence result by Lasserre on the sparse SOS and SDP relaxation for normal POPs. A numerical example i...
متن کامل